Hence Proved